Representing space for practical reasoning
نویسندگان
چکیده
منابع مشابه
Representing Space for Practical Reasoning
This paper describes a new approach to representing space and time for practical reasoning. Unlike R, the new models can represent a bounded region of space using only finitely many cells, so they can be manipulated directly. Unlike Z n , they have useful notions of function continuity and region connectedness. Finally, the topology of space is allowed to depend on the situation being represent...
متن کاملPractical Reasoning for Expressive
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problemat-ical. We present an algorithm that decides satissability of the DL ALC extended with transitive and inverse roles, role hierarc...
متن کاملRepresenting Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection because their design does not allow a representation of their own reasoning procedures as data. Using a model of reasoning based on observable effect it is possible to test the abilitly of any given data structure to re...
متن کاملReasoning and Representing
Up to now, in constructing a language, the procedure has usually been, first to assign a meaning to the fundamental mathematico-logical symbols, and then to consider what sentences and inferences are seen to be correct in accordance with this meaning...The connection [between meaning and inference] will only become clear when approached from the opposite direction: let any postulates and any ru...
متن کاملPractical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as belie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Image and Vision Computing
سال: 1988
ISSN: 0262-8856
DOI: 10.1016/0262-8856(88)90002-9